<body>
BDD representation of Finite Automata.


<br><br>PACKAGE STATE: very alpha
</body>